A.L.F. Rivet (1915–1993)

Rivet user manual

This is the manual and user guide for the Rivet system for the validation and tuning of Monte Carlo event generators. As well as the core Rivet library, this manual describes the usage of the rivet program and the AGILe generator interface library. The depth and level of description is chosen for users of the system, starting with the basics of using validation code written by others, and then ...

Rivet: Dependency Injection in Rust

1 SUMMARY Rust’s strict compile-time semantics make approaches that are often straightforward in other modern languages significantly more difficult or less intuitive. Rust’s concepts of ownership and data lifetimes, along with its limited runtime reflection support constrain users hoping to design loosely coupled and pluggable applications. We explored various approaches to the strategy patter...

Consistency in ALF ( Draft )

Impact of ALF on Communication

The lack of exibility and eeciency of the traditional layered model has led researchers to consider new approaches when designing communication subsystems. In particular, one approach consists of implementing protocol subsystems tailored to application requirements. The Application Level Framing concept in which the communication subsystem is able to process data in chunks of application-specii...

Alf-Verifier: An Eclipse Plugin for Verifying Alf/UML Executable Models

In this demonstration we present an Eclipse plugin that implements a lightweight method for verifying fine-grained operations at design time. This tool suffices to check that the execution of the operations (specified in Alf Action Language) is consistent with the integrity constraints defined in the class diagram (specified in UML) and returns a meaningful feedback that helps correcting them o...